P Systems with Proteins on Active Membranes

P systems with active membranes, as a sort of basic system, include in communication rules and out rules, where are controlled by polarizations. However, the objects among living cells may be several factors, such proteins, polarizations, etc. Based on this biological fact, article, new class systems, named proteins membranes (known PAM systems) is considered, movement both The computational theory discussed. More specifically, we show that achieve Turing universality when use two one protein polarization. Moreover, help membrane division make SAT problem solvable. These results indicate also powerful system.